Categorical Logic: Some A Are B